<html>
<head><meta charset="utf-8"><title>active topic area: validity invariants · t-lang/wg-unsafe-code-guidelines · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/index.html">t-lang/wg-unsafe-code-guidelines</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/active.20topic.20area.3A.20validity.20invariants.html">active topic area: validity invariants</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="154252891"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/active%20topic%20area%3A%20validity%20invariants/near/154252891" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/active.20topic.20area.3A.20validity.20invariants.html#154252891">(Jan 03 2019 at 17:27)</a>:</h4>
<p><span class="user-mention" data-user-id="126854">@avadacatavra</span> we were saying that we should change the "active topic area" to validity invariants</p>



<a name="154252946"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/active%20topic%20area%3A%20validity%20invariants/near/154252946" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/active.20topic.20area.3A.20validity.20invariants.html#154252946">(Jan 03 2019 at 17:28)</a>:</h4>
<p>which I guess is mostly a matter of opening issues and adjusting some labels and things</p>



<a name="154252951"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/active%20topic%20area%3A%20validity%20invariants/near/154252951" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/active.20topic.20area.3A.20validity.20invariants.html#154252951">(Jan 03 2019 at 17:28)</a>:</h4>
<p>/me works on labels</p>



<a name="154252956"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/active%20topic%20area%3A%20validity%20invariants/near/154252956" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/active.20topic.20area.3A.20validity.20invariants.html#154252956">(Jan 03 2019 at 17:28)</a>:</h4>
<p>there are still some i's to dot and t's to cross with the old PRs etc</p>



<a name="154252999"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/active%20topic%20area%3A%20validity%20invariants/near/154252999" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/active.20topic.20area.3A.20validity.20invariants.html#154252999">(Jan 03 2019 at 17:29)</a>:</h4>
<p>didn't we have a pr that changed it to validity invariants?</p>



<a name="154253010"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/active%20topic%20area%3A%20validity%20invariants/near/154253010" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/active.20topic.20area.3A.20validity.20invariants.html#154253010">(Jan 03 2019 at 17:29)</a>:</h4>
<p>i still see data structure representation</p>



<a name="154253021"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/active%20topic%20area%3A%20validity%20invariants/near/154253021" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/active.20topic.20area.3A.20validity.20invariants.html#154253021">(Jan 03 2019 at 17:29)</a>:</h4>
<p><span class="user-mention" data-user-id="126854">@avadacatavra</span> we had <a href="https://github.com/rust-rfcs/unsafe-code-guidelines/pull/54" target="_blank" title="https://github.com/rust-rfcs/unsafe-code-guidelines/pull/54">https://github.com/rust-rfcs/unsafe-code-guidelines/pull/54</a></p>



<a name="154253026"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/active%20topic%20area%3A%20validity%20invariants/near/154253026" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/active.20topic.20area.3A.20validity.20invariants.html#154253026">(Jan 03 2019 at 17:29)</a>:</h4>
<p>not sure if that is what you mean</p>



<a name="154253092"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/active%20topic%20area%3A%20validity%20invariants/near/154253092" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/active.20topic.20area.3A.20validity.20invariants.html#154253092">(Jan 03 2019 at 17:30)</a>:</h4>
<p>ah yeah that's it. it just didn't change on the front page :)</p>



<a name="154401694"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/active%20topic%20area%3A%20validity%20invariants/near/154401694" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/active.20topic.20area.3A.20validity.20invariants.html#154401694">(Jan 04 2019 at 10:47)</a>:</h4>
<p>the PR just added a new discussion area but didn't make it active</p>



<a name="154402427"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/active%20topic%20area%3A%20validity%20invariants/near/154402427" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/active.20topic.20area.3A.20validity.20invariants.html#154402427">(Jan 04 2019 at 11:06)</a>:</h4>
<p>I now submitted a PR to change the active area</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>